退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:DL-Lite描述逻辑系列中的说明
Er Borgida; Diego Calvanese; Mariano Rodriguez-muro;
机译:关于DL-Lite中否定查询答案的解释的推理
机译:基于逻辑的本体比较和模块提取及其在DL-Lite中的应用
机译:DL-Lite描述逻辑系列中的解释
机译:说明逻辑中的不满足和不一致的解释和诊断服务。
机译:肥胖与健康:揭露肥胖的进化解释逻辑
机译:描述逻辑中的可推论推理和高效查询回答:DL-Lite系列
机译:技术术语描述方法,IT技术解释装置,技术术语描述系统和技术术语描述程序
机译:说明项目管理程序,说明项目管理装置,说明项目管理方法
机译:用于生成逻辑集成电路的硬件操作描述的逻辑集成电路,逻辑集成电路设计方法和硬件描述生成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。